Application of Coloured Petri Net for Design of Smc Controller Communication Subsystem
نویسندگان
چکیده
Timed CPN model of SMC controller communication subsystem is described. SMC controller operates as central unit in a small distributed control-andmeasurement system from LUMEL Zielona Góra. SMC is programmed in ST language available in CPDev design environment. Implementation of the communication subsystem involves communication tasks created during the design stage and executed by SMC taking into account priorities and timeouts.
منابع مشابه
Availability evaluation of Software architecture of object oriented Style using coloured Petri nets
Software architecture is one of the most fundamental products in the process of software development in the areas of behavioral or non- behavioral features like availability or transformability change. There are different ways to evaluate software architecture one of which is the creation of application model. An executable model of software architecture is an official description of architectu...
متن کاملPetri Nets and Fuzzy Sets in Hybrid Controllers Synthesis: The Discrete-Event Aspect
This paper presents a design approach intended for the modeling and synthesis of discrete-event modules of hybrid controllers by combining a model of computation and a soft computing synthesis approach. The model of computation is based on coloured Petri nets (CPNs) and the soft computing method uses fuzzy logic. The design approach converts Petri net models into their equivalent fuzzy sets for...
متن کاملA Petri Net View of Mobility
Mobile systems explore the interplay between locality and connectivity. A subsystem may have a connection to a remote subsystem and use this for communication. Alternatively, it may be necessary or desirable to move the subsystem close to the other in order to communicate. This paper presents a Petri Net formalisation of mobile systems so as to harness the intuitive graphical representation of ...
متن کاملModeling Communication Behaviour of Mobile Applications
This paper introduces a graphical modeling notation based on coloured petri nets for the performance and cost evaluation of mobile applications. When developing such an application some restrictions due to the low bandwith of mobile networks need to be considered. The notation can be used to model the workflow of an mobile application with just a small effort. The resulting model can be (automa...
متن کاملMapping Activity Diagram to Petri Net: Application of Markov Theory for Analyzing Non-Functional Parameters
The quality of an architectural design of a software system has a great influence on achieving non-functional requirements of a system. A regular software development project is often influenced by non-functional factors such as the customers' expectations about the performance and reliability of the software as well as the reduction of underlying risks. The evaluation of non-functional paramet...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008